-
1 функция минимального типа
Русско-английский научно-технический словарь Масловского > функция минимального типа
-
2 функция минимального типа
1) Mathematics: function of minimal type, function of minimum type2) Makarov: function of minimumУниверсальный русско-английский словарь > функция минимального типа
-
3 функция нулевой степени
Mathematics: function of minimal exponential type (комплексный анализ)Универсальный русско-английский словарь > функция нулевой степени
См. также в других словарях:
Minimal logic — Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is a variant of intuitionistic logic that rejects not only the classical law of excluded middle (as intuitionistic logic does), but… … Wikipedia
Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… … Wikipedia
Type 45 destroyer — The United Kingdom s Type 45 destroyer (also known as the D or Daring class) is a state of the art air defence destroyer programme of the Royal Navy. The first ship in the class, HMS Daring , was launched on February 1 2006 and is expected to… … Wikipedia
Dehn function — In the mathematical subject of geometric group theory, a Dehn function, named after Max Dehn, is an optimal function associated to a finite group presentation which bounds the area of a relation in that group (that is a freely reduced word in the … Wikipedia
R-Type — Infobox VG title = R Type caption = Promotional arcade flyer for the North American marketplace. developer = Irem publisher = Irem (Japan) Nintendo (North America) designer = release = Arcade version: vgrelease|JPN|July 1987 genre = Shoot em up… … Wikipedia
Collagen, type XVII, alpha 1 — Identifiers Symbols COL17A1; BA16H23.2; BP180; BPAG2; FLJ60881; KIAA0204; LAD 1 External IDs … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
C (programming language) — C The C Programming Language[1] (aka K R ) is the seminal book on C … Wikipedia
Law of value — The law of value is a concept in Karl Marx s critique of political economy. Most generally, it refers to a regulative principle of the economic exchange of the products of human work: the relative exchange values of those products in trade,… … Wikipedia
Traffic Control — ➡ law enforcement * * * Introduction supervision of the movement of people, goods, or vehicles to ensure efficiency and safety. Traffic is the movement of people and goods from one location to another. The movement typically occurs… … Universalium